the specifications are realised through the use of a combination of function decomposition strategies, data refinement techniques, and off-the-shelf refinements based upon higher-order functions 通常通過組合幾個高階函數(shù)來實現(xiàn),這些函數(shù)作為編寫高水平程序的基本組成模塊。并行化執(zhí)行大量算法的系統(tǒng)方法。
for the coordination constraint of uavs arriving at the targets simultaneously, this paper proposes a decomposition strategy that allows optimization to be decentralized among uavs 對于滿足無人機團隊中各機同時到達目標這樣一個特定的協(xié)同要求,本文提出了一種分解的方法,把高維優(yōu)化問題分解成低維、計算量小、通訊數(shù)據(jù)少的問題。
this paper also emphasizes the necessity of distinguishing the external manifestation from the internal structure of each system component during the process of requirements decomposition and refinement . several decomposition strategies have been given to support the continuous decomposition 其難點是,所面對的是現(xiàn)實世界中的問題,這種問題一開始一般都是無形無結(jié)構(gòu)的無表達的,什么是需求就成為需求工程過程一開始要面對的問題。
from the technique of database realizing, discuss the structure of fuzzy diagnosis expert system, knowledge base, inference engine and the database realizing . what's more, discuss the system structure of distributed fuzzy diagnosis expert system, the decomposition strategy of diagnosis assignment in and the distributed fuzzy diagnosis expert harmonizing and control of multi-level blackboard model, realize the distributed fuzzy expert diagnosis by database 從數(shù)據(jù)庫實現(xiàn)技術(shù)的角度出發(fā),論述了模糊診斷專家系統(tǒng)的系統(tǒng)結(jié)構(gòu)、知識庫結(jié)構(gòu)、推理機制以及系統(tǒng)的數(shù)據(jù)庫實現(xiàn),從而進一步闡述分布式模糊診斷專家系統(tǒng)的系統(tǒng)框架、分布式系統(tǒng)的診斷任務的分解策略以及多級黑板結(jié)構(gòu)的分布式模糊診斷專家的協(xié)調(diào)與控制,實現(xiàn)利用數(shù)據(jù)庫技術(shù)的分布式模糊專家診斷。